ja 線形論理
― Synonym ⟶
Weight: 0.5
en linear logic Source: DBPedia 2015